On Inner Classes

On Inner Classes 1

On Inner Classes

Inner classes in object-oriented languages play a role similar to nested function definitions in functional languages, allowing an object to export other objects with direct access to its own methods and instance variables. However, the similarity is deceptive: a close look at inner classes reveals significant subtleties arising from their interactions with inheritance. The goal of this work is...

Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce

In [IP02] an axiomatic approach towards the semantics of FJI, essentially a subset of the Java-programming language is presented. At a first glance the approach of reducing Java’s semantics to that of FJI seems promising. We are going to show that many questions were left unanswered. It turns out that the theory how to elaborate or bind types and thus to determine direct superclasses proposed i...

Approximately Quasi Inner Generalized Dynamics on Modules

We investigate some properties of approximately quasi inner generalized dynamics and quasi approximately inner generalized derivations on modules. In particular, we prove that if A is a C*-algebra, is the generator of a generalized dynamics on an A-bimodule M satisfying and there exist two sequences of self adjoint elements in A such that for all in a core for , , then is approx...

APPROXIMATELY INNER sigma-DYNAMICS ON C* ALGEBRAS